The modal logic of forcing
نویسندگان
چکیده
منابع مشابه
The Modal Logic of Forcing
A set theoretical assertion ψ is forceable or possible, written ♦ψ, if ψ holds in some forcing extension, and necessary, written ψ, if ψ holds in all forcing extensions. In this forcing interpretation of modal logic, we establish that if ZFC is consistent, then the ZFC-provable principles of forcing are exactly those in the modal theory S4.2.
متن کاملStructural Connections between a Forcing Class and Its Modal Logic
Every definable forcing class Γ gives rise to a corresponding forcing modality, for which Γ φ means that φ is true in all Γ extensions, and the valid principles of Γ forcing are the modal assertions that are valid for this forcing interpretation. For example, [9] shows that if ZFC is consistent, then the ZFC-provably valid principles of the class of all forcing are precisely the assertions of t...
متن کاملThe true modal logic
For Arthur Prior, the construction of a logic was a supremely philosophical task. As a logician, he could of course appreciate a finely crafted formal system for its own sake, independent of its " meaning " or philosophical significance. But a genuine logic-a good one, at least-lays bare the nature of those concepts that it purports to be a logic of: and this comes only by way of deep rellec-ti...
متن کاملThe Modal Logic of Inequality
We consider some modal languages with a modal operator D whose semantics is based on the relation of inequality. Basic logical properties such as definability, expressive power and completeness are studied. Also, some connections with a number of other recent proposals to extend the standard modal language are pointed at. ?
متن کاملThe modal logic of agency
In this paper I discuss and develop suggestions concerning how to use systems of modal logic to analyse notions pertaining to agency. In the first part I deal with the accounts of Pörn, Brown, and Belnap, thus motivating the search for a more finegrained framework. The first step in the development of such a framework is the adoption of a rich semantical structure inspired by Gerd Sommerhoff’s ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2007
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-07-04297-3